<?hh

echo "In prelude!\n";

class Foo {
  public $x = 12;
}
